1. Foundations of deductive databases and logic programming
المؤلف: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
المکتبة: (طهران)
موضوع: Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
2. From Logic Programming to Prolog
المؤلف: Apt, Krzysztof.R, Krzysztof R. Apt
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Lagic Programming,، Prolog ) Computer Program Language (
رده :
QA
76/63
/A67
3. From logic programming to Prolog
المؤلف: Apt, Krzysztof R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
4. From logic programming to Prolog
المؤلف: Apt, Krzysztof R.
المکتبة: (طهران)
موضوع: Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
5. From logic programming to Prolog
المؤلف: / Krzysztof R. Apt
المکتبة: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
6. From logic programming to prolog.
المؤلف: / Krzysztof R.Apt
المکتبة: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع: Logic programming,Prolg(Computer program language)
رده :
QA
76
.
63
.
A67
1996
7. Lectures in game theory for computer scientists /
المؤلف: edited by Krzysztof R. Apt and Erich Grädel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Game theory.
8. Logics and Models of Concurrent Systems.
المؤلف: Krzysztof R Apt
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
9. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
المؤلف: Krzysztof R. Apt...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1865
10. Principles of constraint programming
المؤلف: Apt, Krzysztof R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
A68
2003
11. Principles of constraint programming
المؤلف: / Krzysztof R. Apt
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Constraint programming (Computer science)
رده :
QA76
.
612
.
A68
2003
12. Programmverifikation :
المؤلف: Krzysztof R. Apt, Ernst-Rüdiger Olderog.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Oprogramowanie -- weryfikacja.
رده :
QA76
.
9
.
A73
K799
1994
13. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
المؤلف: Krzysztof R. Apt...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
14. Verification of Sequential and Concurrent Programs
المؤلف: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
15. Verification of sequental and concurrent programs
المؤلف: / Krzysztof R. Apt, Ernest - Rudiger olderog
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Computer software - - Verification
رده :
QA
76
.
76
.
V47A67
1991
16. Verification of sequential and concurrent programs
المؤلف: Apt, Krzysztof R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
A67
1997
17. Verification of sequential and concurrent programs
المؤلف: Apt, Krzysztof R., 9491-
المکتبة: (طهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
76
.
V47A75
18. Verification of sequential and concurrent programs
المؤلف: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog.
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Computer software--Verification.
رده :
QA
76
.
76
.
V47A67
2009
19. Verification of sequential and concurrent programs
المؤلف: / Krzysztof R. Apt, Ernst-Rudiger Olderog
المکتبة: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47A67
1997
20. Verification of sequential and concurrent programs
المؤلف: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Computer software, Verification
رده :
QA76
.
76
.
V47A67
